Heterogeneous Hierarchical Workflow Composition
نویسندگان
چکیده
منابع مشابه
Scientific Workflow Composition in Heterogeneous Environments
Scientific workflows have become visible as a new method for scientists to develop and design complex and distributed scientific processes to enable and accelerate many scientific discoveries. Workflows are widely used in business for a long time. However, scientific workflows are emerging as an important technology for solving complex scientific problems and thereby contributing to scientific ...
متن کاملThe Reliable Hierarchical Location-allocation Model under Heterogeneous Probabilistic Disruptions
This paper presents a novel reliable hierarchical location-allocation model where facilities are subject to the risk of disruptions. Based on the relationship between various levels of system, a multi-level multi-flow hierarchy is considered. The heterogeneous probabilistic disruptions are investigated in which the constructed facilities have different site-dependent and independent failure rat...
متن کاملMixed-Initiative Workflow Composition
Complex applications in many areas, including scientific computations and business-related systems, are represented as computational workflows composed out of multiple components. There are several approaches that help a user compose these workflows. Some composition systems implement a user-system interactive approach (Kim, Spraragen, and Gil 2004). These systems are useful for expressing user...
متن کاملDynamic Workflow Composition and Execution
In this paper, we present a new approach for programmable workflow composition. The workflow is represented as sequence of tasks with explicitly defined input/output data. Parallelism between tasks is implicitly defined by the data dependence. Users can create a more complicated workflow by scripts, including nested and parameterized workflows. The workflow will be executed in distributed
متن کاملHierarchical Heterogeneous Specifications
We propose a definition of hierarchical heterogeneous formal specifications, where each module is specified according to its own homogeneous logic. We focus on the specification structure which we represent by a term in order to take benefit of classical knowledge on terms. For example, substitutions solve implementation sharing of modules. Then, we show how proof mechanisms can be expressed in...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Computing in Science & Engineering
سال: 2019
ISSN: 1521-9615,1558-366X
DOI: 10.1109/mcse.2019.2918766